- Generalisator
- (m)квантор (все)общностн
Немецко-русский математический словарь. 2013.
Generalisator
Смотреть что такое "Generalisator" в других словарях:
Generalisator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Generalisator — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
Generalisator — Ge|ne|ra|li|sa|tor der; s, ...oren <zu ↑generalisieren u. ↑...ator> ↑Quantor, der vor eine Aussage gestellt, diese für alle Subjekte einer vereinbarten Menge als wahr kennzeichnet (Math.) … Das große Fremdwörterbuch
Alloperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Allquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Existenzoperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Existenzquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Quantifikator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Quantor — Ein Quantor, kurz für Quantifikator, die Re Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“[1], ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren… … Deutsch Wikipedia
∀ — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
∃ — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
